Issue2840.agda:7,3-13
Failed to solve the following constraints:
  [4] _F_2 A = D A : Set
when checking the constructor c in the declaration of D
